Challenges in Calculating the WCET of a Complex On-board Satellite Application
نویسندگان
چکیده
Calculating the WCET of mission-critical satellite applications is a challenging issue. The European Space Agency is currently undertaking the CryoSat mission, consisting of a radar altimetry satellite to be launched in 2005. This paper describes the challenges and the first experimental results of calculating the WCET of the Control and Data Management Unit (CDMU) subsystem of the satellite. This subsystem constitutes the central control unit of all the on-board data handling, as well as the attitude and orbit control system of the satellite, and must guarantee predictable behavior.
منابع مشابه
FPGA Implementation of JPEG and JPEG2000-Based Dynamic Partial Reconfiguration on SOC for Remote Sensing Satellite On-Board Processing
This paper presents the design procedure and implementation results of a proposed hardware which performs different satellite Image compressions using FPGA Xilinx board. First, the method is described and then VHDL code is written and synthesized by ISE software of Xilinx Company. The results show that it is easy and useful to design, develop and implement the hardware image compressor using ne...
متن کاملStatic analysis of WCET in a satellite software subsystem
This paper describes the authors’ experience with static analysis of both WCET and stack usage of a satellite on-board software subsystem. The work is a continuation of a previous case study that used a dynamic WCET analysis tool on an earlier version of the same software system. In particular, the AbsInt aiT tool has been evaluated by analysing both C and Ada code generated by Simulink within ...
متن کاملAnalysis of WCET in an experimental satellite software development
This paper describes a case study in WCET analysis of an on-board spacecraft software system. The attitude control system of UPMSat-2, an experimental micro-satellite which is scheduled to be launched in 2013, is used for an experiment on analysing the worst-case execution time of code automatically generated from a Simulink model. In order to properly test the code, a hardware-in-the-loop conf...
متن کاملCalculating of Radiosonde Precipitable water using MODIS Satellite images in Goorganrood basin
Deficiency of atmospheric water vapor profile data is one of most important problems in the flood hazard researches for areas flooding such as Goorganrood basin, because of no radiosonde stations. With the aim of radiosonde data generation retrieved radiance MODIS data, after Geometric and radiometric corrections, on 21 and 8 august 2005 from MODIS-Level 1, In order to make spatial TPW maps of ...
متن کاملCost-Benefit Investigation of Offshore Wind Power Generation for Soroush Offshore Complex
Iranian offshore oil and gas platforms are mostly located in the Persian Gulf. Technical and environmental challenges resulted from an off-design running condition of processes on a platform are important issues. The weakness of strategies to stop or decrease the amount of greenhouse gas emission production rate in the Persian Gulf; which is intensively increasing, is another matter of concern....
متن کامل